Solving a Multivariable Congruence by Change of Term Order
نویسندگان
چکیده
منابع مشابه
Solving a Multivariable Congruence by Change of Term Order
We consider the congruence a P s i=1 b i h i mod I where h 1 ; : : : ; hs are given modulo a zero dimensional ideal I. We give two polynomial time algorithms for determining a Grr obner basis, relative to an arbitrary term order, of the module M of solutions of the congruence, and, in particular, for nding its minimal element. These are based on a generalization of an algorithm of Faug ere et a...
متن کاملA Computational Meshless Method for Solving Multivariable Integral Equations
In this paper we use radial basis functions to solve multivariable integral equations. We use collocation method for implementation. Numerical experiments show the accuracy of the method.
متن کاملSolving System of Linear Congruence Equations over some Rings by Decompositions of Modules
In this paper, we deal with solving systems of linear congruences over commutative CF-rings. More precisely, let R be a CF-ring (every finitely generated direct sum of cyclic R-modules has a canonical form) and let I_1,..., I_n be n ideals of R. We introduce congruence matrices theory techniques and exploit its application to solve the above system. Further, we investigate the application of co...
متن کاملLow Order Multivariable Adaptive Control
Adaptive control refers to the control of systems that have poorly known parameters but a well modeled structure. The adaptive control of linear, time-invariant systems is well understood. However, for systems with multiple inputs and multiple outputs the adaptive controller is of high order and complex making the approach inapplicable in a number of practical problems. In this thesis a new app...
متن کاملa computational meshless method for solving multivariable integral equations
in this paper we use radial basis functions to solve multivariable integral equations. we use collocation method for implementation. numerical experiments show the accuracy of the method.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1997
ISSN: 0747-7171
DOI: 10.1006/jsco.1997.0153